package sketch.main;

import sketch.ounit.Values;
import sketch.specs.annotation.TestSketch;
import junit.framework.TestCase;

public class OnlyRandomValueExample extends TestCase {
	@TestSketch
	public void testRandomValue() {
		treemap.TreeMap map1 = Values.randomCreate(treemap.TreeMap.class);
		treemap.TreeMap map2 = new treemap.TreeMap();
		map2.put(1);
		map2.put(3);
		Values.randomMutate(map2, treemap.TreeMap.class, 999, -8, -1, 0);
		System.out.println("Equals?: " + map1.equals(map2));
	}
}
